- 程序正确性证明
- 正确性证明
- proof: n. 1.证明；证据；【法律】证件；【法律】(口头或书面 ...
- correctness proof: 正确性证明
- partial correctness proof: 部分正确性证明
- programming correctness proof: 程序正确性证明
- proof of program correctness: 程序正确性证明
下载手机词典可随时随地查词查翻译
proof of correctness中文什么意思
- 程序正确性证明
- 正确性证明
下载手机词典可随时随地查词查翻译
例句与用法
- We discuss the important designing technologies used in mb - protocol and compare it with protocols related . then we give a rigorous proof of correctness mb protocol based on strand space model
在此基础上提出了一个手机银行安全协议- mb协议，分析了设计协议时使用的重要技术，并和其他相关协议进行了比较。 - Chapter 6 discusses a modeling of the mst algorithm of supporting qos multicast routing , puts forward a new algorithm , simulates it and gets the results , the proof of correctness and complexity analysis of the new algorithm are given , chapter 7 summarizes this paper , at the same time , suggestions for future research are given
第6章，讨论了支持qos多播路由的基于最小生成树算法的理论模型并提出一种新的算法，试验仿真结果证明了它的效率会比传统算法大大提高。第7章，给出了本文的总结，并对下一步的工作作了展望。